$\forall$$M$:MsgA. $M$.A $\in$ Type